1. Computability and Logic
پدیدآورنده: / George S. Boolos
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
2. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
3. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
4. Logic, Logic, and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic
رده :
BC
51
.
B6
5. The logic of provability
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
